An Axiomatic Approach to Feature Term Generalization
نویسندگان
چکیده
This paper presents a missing link between Plotkin’s least general generalization formalism and generalization on the Order Sorted Feature (OSF) foundation. A feature term (or ψ-term) is an extended logic term based on ordered sorts and is a normal form of an OSF-term. An axiomatic definition of ψ-term generalization is given as a set of OSF clause generalization rules and the least generality of the axiomatic definition is proven in the sense of Plotkin’s least general generalization (lgg). The correctness of the definition is given on the basis of the axiomatic foundation. An operational definition of the least general generalization of clauses based on ψ-terms is also shown as a realization of the axiomatic definition.
منابع مشابه
Two axiomatic approaches to decision making using possibility theory
This paper proposes a utility theory for decision making under uncertainty that is described by possibility theory. We show that our approach is a natural generalization of the two axiomatic systems that correspond to pessimistic and optimistic decision criteria proposed by Dubois et al. The generalization is achieved by removing axioms that are supposed to reflect attitudes toward uncertainty,...
متن کاملSBM extended model with nonlinear value data in data envelopment analysis with axiomatic approach
One of the important goals of banks as important economic enterprises of any country is to increase economic efficiency. One of the important goals of banks as important economic enterprises of any country is to increase economic efficiency. The classical approach to data envelopment analysis models takes into account the linear valuation function for all indicators. But linear valuation in man...
متن کاملOn the axiomatization of “parallel transport” and its generalization
A concise discussion of the axiomatic approach to the concept of parallel transport is presented. In particular, attention is drawn to a bijective mapping between the sets of connections and (axiomatically defined) parallel transports. The transports along paths are pointed as a generalization of the (axiomatically defined) parallel transports, which form their proper subset. Some properties of...
متن کاملA Novel Approach to Design of Truss-Beams for Natural Frequency
Here, we present a novel two-step approach for optimum design of cellular truss-beams based on desired natural frequencies. The proposed approach at- tempts to decrease the design complexities, based on the so called Axiomatic Design, before any eort to solve the physical problem itself. It also serves as a generic approach which nds its generality through dimensional analysis with its accuracy...
متن کاملComparative Effectiveness of Semantic Feature Analysis (SFA) and Phonological Components Analysis (PCA) for Anomia Treatment in Persian Speaking Patients With Aphasia
Objectives: Anomia is one of the most common and persistent symptoms of aphasia. Although treatments of anomia usually focus on semantic and/or phonological levels, which both have been demonstrated to be effective, the relationship between the underlying functional deficit in naming and response to a particular treatment approach remains unclear. The aim of this study was to determine the rela...
متن کامل